bounded reverse mathematics造句
例句與造句
- Other areas which he has contributed to include bounded arithmetic, bounded reverse mathematics, and lower bounds in propositional proof systems.
- The power of these theories for developing mathematics is studied in Bounded reverse mathematics as can be found in the works of Stephen A . Cook and Phuong The Nguyen.
- Other areas which he has contributed to include bounded arithmetic, bounded reverse mathematics, complexity of higher type functions, complexity of analysis, and lower bounds in propositional proof systems.
- It's difficult to find bounded reverse mathematics in a sentence. 用bounded reverse mathematics造句挺難的